A REVISED GRAMMAR FOR THE FOXTROT Don Herbison-Evans () Technical Report), Basser Department of Computer Science, University of Sydney ABSTRACT The application of formal grammars to mu

Source URL: storage.googleapis.com

Staged Self-Assembly and Polyomino Context-Free Grammars? Andrew Winslow?? Department of Computer Science, Tufts University,

Source URL: www.eecs.tufts.edu

• Mathematical games
• Polyforms
• Mathematics
• Polyomino
• Analysis of algorithms
• Formal languages
• Stochastic context-free grammar
• Logarithm
• Best
• worst and average case

DEPARTMENT OF COMPUTER SCIENCE A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Christopher Graham Seaton

Source URL: chrisseaton.com

• Software
• Computing
• Parsing algorithms
• Compiler construction
• Formal languages
• Parser generators
• Parsing
• Compiler-compiler
• Syntax
• Programming language
• Compiler
• Yacc

Compositional CompCert Andrew W. Appel tifact * Complete

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Software
• Logic in computer science
• Formal methods
• Compiler construction
• Cross-platform software
• Object-oriented programming languages
• Stack
• Semantics
• Optimizing compiler
• Operational semantics

A JMM-Faithful Non-Interference Calculus for Java Vladimir Klebanov University of Koblenz-Landau Institute of Computer Science

Source URL: formal.iti.kit.edu

Reusing Proofs when Program Verification Systems are Modified Bernhard Beckert, Thorsten Bormer, and Vladimir Klebanov Institute for Computer Science University of Koblenz-Landau www.key-project.org Abstract

Source URL: formal.iti.kit.edu

Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar

Source URL: seclab.stanford.edu

• Logic
• Mathematics
• Abstraction
• Formal languages
• Mathematical logic
• Linear temporal logic
• Temporal logic
• Automated theorem proving
• Propositional calculus
• Substitution
• IP
• Interpretation

Scientific Report First name / Family name DALIA KRIKSCIUNIENE

Source URL: fellowship.ercim.eu

• Information
• Computing
• Data management
• Formal sciences
• Artificial intelligence
• Cognitive science
• Computer science education
• Informatics
• Analytics
• Big data
• Business intelligence

5.2 Courses Fall 2014 Data Mining in Social Networks ( DM ) Place: Room 108, Old Building, IIS, AS Time: 9:00-12:00 Thurs Chair: Dr. Arbee L.P. Chen

Source URL: tigpsnhcc.iis.sinica.edu.tw

• Formal sciences
• Academia
• Data analysis
• Scientific method
• Analytics
• Data mining
• Data
• Science and technology

A Point of View Storytelling is the Last Mile in Big Data and Analytics XX | Stories are the Last Mile in Big Data

Source URL: www.narrativescience.com

• Computing
• Information
• Data management
• Data
• Formal sciences
• Big data
• Business intelligence
• Transaction processing
• Analytics
• Narrative Science
• Data mining
• Storytelling